invertible functor

可逆函子